"Ofer Strichman" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Daniel Kroening, Ofer Strichman

Категория: Компьютеры

2.34 Mb

#2

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings ... Computer Science and General Issues)

Ofer Strichman, Stefan Szeider

Категория: Компьютеры

5.16 Mb

#3

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Daniel Kroening, Ofer Strichman

Категория: Компьютеры

3.45 Mb

#4

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Daniel Kroening, Ofer Strichman, R.E. Bryant

Категория: Computer Science, Computer Science

3.48 Mb

#5

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman, R.E. Bryant

5.94 Mb